software reliability

See also {formal methods}, {safety-critical system}.

{(ftp://ftp.sei.cmu.edu/pub/depend-sw)}. Mailing list:

depend-sw◊sei.cmu.edu.

[Summary?]